Designing Petri Net Supervisors for Multi-Agent Systems from LTL Specifications (Extended Abstract) ∗ Bruno Lacerda

Source URL: www.ifaamas.org

The Downward-Closure of Petri Net Languages? Peter Habermehl1 , Roland Meyer1 , and Harro Wimmel2 1 LIAFA, Paris Diderot University & CNRS e-mail: {peter.habermehl,roland.meyer}@liafa.jussieu.fr

Source URL: concurrency.cs.uni-kl.de

Decidability and Complexity of Petri Net Problems An Introduction* Javier Esparza Institut fiir Informatik, Technische Universit~t Miinchen, Arcisstr. 21, DMiinchen, Germany, e-maih -muenchen.

Source URL: www.mimuw.edu.pl

Petri Net Newsletter, ISSNGesellschaft für Informatik (GI), Germany, Volume 83, AprilPetri Nets Research at BTU in Cottbus, Germany

Source URL: www-dssz.informatik.tu-cottbus.de

Soundness of Data Flow Analyses for Weak Memory Models⋆ Jade Alglave, Daniel Kroening, John Lugton, Vincent Nimal, and Michael Tautschnig Department of Computer Science, University of Oxford, UK

Source URL: www0.cs.ucl.ac.uk

• Abstract interpretation
• Models of computation
• Parallel computing
• Petri net
• Software engineering
• Computing

Analyzing Concurrency in Streaming Applications Sander Stuijk, Twan Basten ES Reports ISSN

Source URL: www.es.ele.tue.nl

• Concurrent computing
• Computing
• Models of computation
• Parallel computing
• Concurrency
• Distributed computing
• Emerging technologies
• Data-intensive computing
• Petri net
• Kahn process networks
• Artificial neural network
• Algorithm

1968 IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 59, NO. 7, JULY 2014 Holding Time Maximization Preserving Output Performance for Timed Event Graphs

Source URL: www.control.tu-berlin.de

• Mathematical analysis
• Academia
• Mathematics
• Models of computation
• Control theory
• Matrix
• Petri net
• Perturbation theory
• Mathematical optimization
• Transfer function

Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings Claus Schr¨oter1 and Victor Khomenko2 1 Institut f¨

Source URL: rodin.cs.ncl.ac.uk

• Models of computation
• Concurrency
• Diagrams
• Petri net
• Software engineering
• Symbol
• Model checking
• Theoretical computer science
• Metaphor

Petri Nets & ACSD 2014 Tunis, 22-27 June 2014

Source URL: petrinets2014.cnam.fr

• Geography of Africa
• Africa
• Economy of Tunisia
• Tunisian dinar
• Tunis
• Petri net
• Gmail
• Petri

Comparing the Control-Flow of EPC and Petri Net from the End-User Perspective Kamyar Sarshar, Peter Loos Institut for Information Systems (IWi) at the German Research Center for Artificial

Source URL: bpm2005.loria.fr

• Engineering
• Process management
• Business
• Economy
• Enterprise modelling
• Workflow technology
• Management
• Systems engineering
• Workflow
• Event-driven process chain
• Conceptual model
• Business process modeling